RELATIONAL DATA-BASE MANAGEMENT SYSTEMS.CHAMBERLIN DD.1976; COMPUTG SURV.; U.S.A.; DA. 1976; VOL. 8; NO 1; PP. 43-66; BIBL. 7 P.Article

A CLOSED SYSTEM OF REPRESENTATION FOR RELATIONALLY-ORGANIZED DATA AND ITS DESCRIPTORS.HOLLANDER CR.1975; IN: COMPCON 75. HOW TO MAKE COMPUT. EASIER TO USE. COMPUT. SOC. CONF. 11; WASHINGTON, D.C.; 1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. 239-242; BIBL. 11 REF.Conference Paper

DATA BASE USER LANGUAGES FOR THE NON-PROGRAMMER.LOCKEMANN PC.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 39; PP. 183-212; BIBL. 1 P. 1/2; (DATA BASE SYST. 5TH. INF. SYMP. PROC.; BAD HOMBURG; 1975)Conference Paper

A theorem on the isomorphism propertyRENLING JIN.The Journal of symbolic logic. 1992, Vol 57, Num 3, pp 1011-1017, issn 0022-4812Article

SYSTEM R: A RELATIONAL DATA BASE MANAGEMENT SYSTEM.ASTRAHAN MM; CHAMBERLIN DD; KING WF et al.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 39; PP. 139-148; BIBL. 1 P. 1/2; (DATA BASE SYST. 5TH INF. SYMP. PROC.; BAD HOMBURG; 1975)Conference Paper

Countable structures of given ageMACPHERSON, H. D; POUZET, M; WOODROW, R. E et al.The Journal of symbolic logic. 1992, Vol 57, Num 3, pp 992-1010, issn 0022-4812Article

Complete coinductive theories. ILACHLAN, A. H.Transactions of the American Mathematical Society. 1990, Vol 319, Num 1, pp 209-241, issn 0002-9947, 33 p.Article

SYSTEM R: AN ARCHITECTURAL OVERVIEWBLASGEN MW; ASTRAHAN MM; CHAMBERLIN DD et al.1981; IBM SYST. J.; ISSN 0018-8670; USA; DA. 1981; VOL. 20; NO 1; PP. 41-62; BIBL. 21 REF.Article

A GENERALIZED IMPLEMENTATION METHOD FOR RELATIONAL DATA SUBLANGUAGESBECK LL.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 2; PP. 152-162; BIBL. 16 REF.Article

Interpreting groups in ω-cetagorical structuresMACPHERSON, D.The Journal of symbolic logic. 1991, Vol 56, Num 4, pp 1317-1324, issn 0022-4812Article

On completeness of narrowing strategiesECHAHED, Rachid.Rapport de recherche - IMAG. 1987, Vol 703, issn 0750-7380, 13 p.Report

Notes de cours prolog = Prolog course notesDINCBAS, M; BOURGAULT, S; LE PAPE, J. P et al.1986, 60 p.Report

Modèles opérationnels de langages de programmation et représentations de relations sur des langages rationnels avec application à la détermination statique de propriétés de partages dynamiques de données = Operational models of programming languages and finitary representations of relations on rational languages with application to the static determination of dynamic aliasing properies of structured data and strictness propertiesDeutsch, Alain; Queinnec, C.1992, 162 p.Thesis